<html>
<head><meta charset="utf-8"><title>public logs / streams · zulip · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/index.html">zulip</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html">public logs / streams</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="171795814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171795814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171795814">(Jul 26 2019 at 18:18)</a>:</h4>
<p>Apparently there are <a href="https://twitter.com/zulip/status/1154810312001875968" target="_blank" title="https://twitter.com/zulip/status/1154810312001875968">in-progress features to have public logs / streams</a> which might be interesting for us ?</p>
<div class="inline-preview-twitter"><div class="twitter-tweet"><a href="https://twitter.com/zulip/status/1154810312001875968" target="_blank"><img class="twitter-avatar" src="https://pbs.twimg.com/profile_images/864247324163194880/nUkBlYXH_normal.jpg"></a><p><a href="https://twitter.com/lu_zero_" target="_blank" title="https://twitter.com/lu_zero_">@lu_zero_</a> <a href="https://twitter.com/nokusu" target="_blank" title="https://twitter.com/nokusu">@nokusu</a> We have a feature in beta that allows you to export and display public streams (contributed by the Lean Prover community). To turn it on the admins of your org can contact support@zulipchat.com.</p><span>- Zulip Team Chat (@zulip)</span></div></div>



<a name="171796991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171796991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171796991">(Jul 26 2019 at 18:21)</a>:</h4>
<p>I can email them probably, looks like I'm currently an admin</p>



<a name="171798377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171798377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171798377">(Jul 26 2019 at 18:28)</a>:</h4>
<p>yeah niko, <span class="user-mention silent" data-user-id="116107">davidtwco</span> as well — at least I wanted us to see it, so that y'all admins can decide :)</p>



<a name="171798391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171798391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171798391">(Jul 26 2019 at 18:28)</a>:</h4>
<p>sent an email, can't hurt</p>



<a name="171798411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171798411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171798411">(Jul 26 2019 at 18:28)</a>:</h4>
<p>thanks :)</p>



<a name="171801909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171801909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171801909">(Jul 26 2019 at 19:11)</a>:</h4>
<p>So, this feature is basically a custom UI that acts as an archive.</p>



<a name="171801921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171801921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171801921">(Jul 26 2019 at 19:11)</a>:</h4>
<p>That's my impression</p>



<a name="171801994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171801994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171801994">(Jul 26 2019 at 19:12)</a>:</h4>
<p>I’ve been chatting with Tim from Zulip and intend to work on first-class support for a read-only mode.</p>



<a name="171802069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802069">(Jul 26 2019 at 19:13)</a>:</h4>
<p>An example of the archive they are discussing in that tweet is here: <br>
<a href="https://leanprover-community.github.io/archive/" target="_blank" title="https://leanprover-community.github.io/archive/">https://leanprover-community.github.io/archive/</a></p>



<a name="171802162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802162">(Jul 26 2019 at 19:14)</a>:</h4>
<p>This looks great for the basic case of "let's leave a link on some issue/PR to avoid copying" but it's not quite the read-only view, yes</p>



<a name="171802175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802175">(Jul 26 2019 at 19:14)</a>:</h4>
<p>(it looks static vs. dynamic)</p>



<a name="171802191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802191">(Jul 26 2019 at 19:14)</a>:</h4>
<p>But I think it's still a worthwhile improvement over the previous status quo of requiring login</p>



<a name="171802200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802200">(Jul 26 2019 at 19:14)</a>:</h4>
<p>plus the archive loads ~instantly :)</p>



<a name="171802202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802202">(Jul 26 2019 at 19:14)</a>:</h4>
<p>Yeah, that’s true.</p>



<a name="171802208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802208">(Jul 26 2019 at 19:14)</a>:</h4>
<p>It certainly doesn’t hurt.</p>



<a name="171802261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802261">(Jul 26 2019 at 19:15)</a>:</h4>
<p>is there an easy way to get the archive link from within zulip, or does one have to go to the archive and find the relevant part of the relevant conversation?</p>



<a name="171802354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802354">(Jul 26 2019 at 19:16)</a>:</h4>
<p>hm, that site looks like Zulip exports the data to static HTML or something like that?</p>



<a name="171802374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802374">(Jul 26 2019 at 19:17)</a>:</h4>
<p>but based on the URL structure looks like it should be feasible to generate the links</p>



<a name="171802377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802377">(Jul 26 2019 at 19:17)</a>:</h4>
<p><a href="https://leanprover-community.github.io/archive/113489newmembers/99356ringtacticworksatoneplacefailsatanother.html" target="_blank" title="https://leanprover-community.github.io/archive/113489newmembers/99356ringtacticworksatoneplacefailsatanother.html">https://leanprover-community.github.io/archive/113489newmembers/99356ringtacticworksatoneplacefailsatanother.html</a></p>



<a name="171802393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802393">(Jul 26 2019 at 19:17)</a>:</h4>
<p>(mostly just removing <code>-</code> it seems?)</p>



<a name="171802474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802474">(Jul 26 2019 at 19:18)</a>:</h4>
<p><a href="https://github.com/timabbott/zulip_archive" target="_blank" title="https://github.com/timabbott/zulip_archive">https://github.com/timabbott/zulip_archive</a> is the link I was just given by Tim at Zulip</p>



<a name="171802520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802520">(Jul 26 2019 at 19:18)</a>:</h4>
<p>Looks like we'd need to run it on our own infra though, which while not a blocker isn't ideal. Maybe a cron job in Travis would work, not sure</p>



<a name="171802556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802556">(Jul 26 2019 at 19:19)</a>:</h4>
<p>it doesn't require some manual work on your part to keep the archive up to date right ?</p>



<a name="171802577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802577">(Jul 26 2019 at 19:19)</a>:</h4>
<p>cron job</p>



<a name="171802642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802642">(Jul 26 2019 at 19:20)</a>:</h4>
<p>afaict it's basically a static site generator plus zulip downloader</p>



<a name="171802652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802652">(Jul 26 2019 at 19:20)</a>:</h4>
<p>so definitely something we can do, maybe 1-2 hours of invested time</p>



<a name="171802667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802667">(Jul 26 2019 at 19:20)</a>:</h4>
<p><a href="https://chat.zulip.org/#narrow/stream/137-feedback/topic/web.20public.20privacy/near/764093" target="_blank" title="https://chat.zulip.org/#narrow/stream/137-feedback/topic/web.20public.20privacy/near/764093">Here's the chat on the upstream Zulip about this feature</a>.</p>



<a name="171802674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802674">(Jul 26 2019 at 19:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> Do you have any sense on a timeline for the public read-only access you mentioned (i.e., sort of "official" integration) about this?</p>



<a name="171802693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802693">(Jul 26 2019 at 19:21)</a>:</h4>
<p>Whenever I get around to working on it for them, I think.</p>



<a name="171802724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802724">(Jul 26 2019 at 19:21)</a>:</h4>
<p>They've got some rough plans for how they want it to work, but not enough bandwidth to actively work on it themselves. As far as I could gather at least.</p>



<a name="171802787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802787">(Jul 26 2019 at 19:22)</a>:</h4>
<p>Makes sense</p>



<a name="171802810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171802810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171802810">(Jul 26 2019 at 19:22)</a>:</h4>
<p>I might spend an hour or two this weekend hooking up the existing archive tool Tim pointed me at for us</p>



<a name="171891252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171891252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171891252">(Jul 28 2019 at 14:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> <span class="user-mention" data-user-id="116113">@lqd</span> fyi, initial draft is up at <a href="https://zulip-archive.rust-lang.org/" target="_blank" title="https://zulip-archive.rust-lang.org/">https://zulip-archive.rust-lang.org/</a> but I'm looking into building something more rapidly updating and (possibly) cheaper as a result for us to run</p>



<a name="171891260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171891260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171891260">(Jul 28 2019 at 14:16)</a>:</h4>
<p>so don't expect that URL to stay too stable though the domain is likely to be that one</p>



<a name="171893893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171893893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tom Phinney <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171893893">(Jul 28 2019 at 15:41)</a>:</h4>
<p>Please sort the list alphabetically. Otherwise trying to find a stream requires biblical search: "Seek and ye shall find".</p>



<a name="171894328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171894328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171894328">(Jul 28 2019 at 15:56)</a>:</h4>
<p>I would expect ctrl+f to be far more useful, but that does seem reasonable.</p>



<a name="171894334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171894334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171894334">(Jul 28 2019 at 15:57)</a>:</h4>
<p>OTOH, Zulip itself is not alphabetically sorted.</p>



<a name="171894337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171894337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171894337">(Jul 28 2019 at 15:57)</a>:</h4>
<p>Actually, hm, maybe it is.</p>



<a name="171895286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171895286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171895286">(Jul 28 2019 at 16:25)</a>:</h4>
<p>if you sort it like Zulip does it that would be okay, too. ;)</p>



<a name="171989480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171989480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171989480">(Jul 29 2019 at 22:29)</a>:</h4>
<p>Zulip-like sorting is now enabled</p>



<a name="171989548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/171989548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#171989548">(Jul 29 2019 at 22:30)</a>:</h4>
<p>I've revised the back-end implementation a bit and we now refresh every 5 minutes; I don't think there's any reason to go much lower than that since it's not really useful to follow along in real time anyway, I would guess</p>



<a name="172015384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122653-zulip/topic/public%20logs%20/%20streams/near/172015384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122653-zulip/topic/public.20logs.20.2F.20streams.html#172015384">(Jul 30 2019 at 08:10)</a>:</h4>
<p>thanks a lot <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>